Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
291	TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC STEVE AWODEY AND KOHEI KISHIDA Abstra t. As M Kinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to al Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Modal logic Non-classical logic Interpretation Logic Philosophical logic Model theory
292	arXiv:1008.3145v1 [math.LO] 18 Aug 2010 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Algebraic structures Boolean algebra Model theory Algebraic logic Order theory Stone duality Interpretation Adjoint functors Sheaf Mathematics Mathematical logic Abstract algebra
293	Corrections for Logic for Applications 2nd edition June, 2014 p[removed]: We begin by ...of the tree. –> We begin by de…ning a linear ordering n of each level n by induction on the levels. Suppose and are on level n + Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2014-06-16 13:59:01 Propositional calculus Boolean algebra Proof theory Model theory Seattle Mariners all-time roster Logic Mathematical logic Mathematics
294	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-28 09:34:43 Model theory Boolean algebra Propositional calculus Cutting-plane method Resolution First-order logic Function Interpretation Linear programming Mathematics Logic Mathematical logic
295	Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains Rune Møller Jensen June 2003 CMU-CS[removed] Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2003-06-20 12:36:37 Diagrams Model checking Mathematical logic Algorithm Applied mathematics Mathematics Boolean algebra Binary decision diagram
296	Final Report on the Advanced EPSRC Fellowship, Mirna Dˇ zamonja Background/Context Research of the PI is in set theory and its connections with other fields of mathematics. She has a very interdisciplinary approach and Add to Reading List Source URL: www.uea.ac.uk Language: English - Date: 2007-12-10 11:21:19 Philosophy of mathematics Unfoldable cardinal Weakly compact cardinal C*-algebra Indescribable cardinal Boolean algebra Cardinal number Model theory Forcing Large cardinals Mathematical logic Mathematics
297	Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-05-28 20:12:31 Philosophical logic Propositional calculus Boolean algebra Metalogic Intuitionistic logic Kripke semantics Saul Kripke Negation Entailment Logic Mathematical logic Model theory
298	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming
299	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57 Boolean algebra Propositional calculus Mathematics Theoretical computer science Model theory Π-calculus Universal quantification Process calculus Interpretation Logic Mathematical logic Semantics
300	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory

UPDATE